A Mathematical Semantic Web

Declaration The research subsumed in this thesis has been conducted under the supervision of Prof. Michael Kohlhase from Jacobs University Bremen. All material presented in this Bachelor Thesis is my own, unless specifically stated. I hereby declare that this submission is my own work, and that — to the best of my knowledge — it does not contain any material previously published or written by another person. Any contribution made to my research by others is explicitly acknowledged in this thesis. Acknowledgments Not only for this thesis, but indeed for much of what I have learned about research in general and knowledge representation, knowledge management and reasoning in particular , I owe a great debt to my advisor Prof. Dr. Michael Kohlhase. In many respects, I have benefited from his guidance and frequent dicussions. I am grateful to the entire KWARC research group at Jacobs University Bremen for their help and openess to debate. In particular, I would like to thank Christoph Lange for his valuable remarks on previous manuscripts. On a less serious note, I would like to thank those two hard drives which decided to breakdown during the final stages of my research. They made writing this thesis so much more challenging and entertaining. ii Contents 1 Executive Summary 1 2 Foundations 2 2.